a ::= b | c;
b ::= c | D;
c ::= b | D;
